Issue822.agda:23,5-10
Cannot split on argument of non-datatype _5
when checking that the pattern D.[ A ] has type _5
